Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
351	Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol Levent Erkök, Magnus Carlsson, Adam Wick November 18th, 2009 FMCAD’09, Austin TX Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2010-02-08 09:22:27 Hardware description languages Electronic design Field-programmable gate array VHDL Application-specific integrated circuit Integrated circuit design Electronic engineering Electronics Integrated circuits
352	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
353	Proposal for a tutorial on “Teaching Formal Methods to Novices” Satellite event to FM’08 Topic Teaching formal methods to students in high school and introductory university courses Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:37:50 Structured derivations Software development Logic in computer science Software engineering Invariant-based programming Formal verification Invariant Formal methods Mathematics education Mathematics
354	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
355	Steps To Content Verification (CV) Product Certification Step 1 Once you have registered your product with us, the first thing we will ask you to do is to complete a Declaration of Methodology (DoM) form. This form helps Add to Reading List Source URL: www.abc.org.uk Language: English - Date: 2013-11-07 06:44:31 Science Product certification Quality Software testing Statistical hypothesis testing ISO 10303 Test Evaluation Psychometrics Statistics
356	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
357	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:59:31 Clinical research Quality Validation Software testing Dynamic-link library Verification and validation Windows Registry Software Computing Pharmaceutical industry Validity System software
358	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-02-18 18:19:23 Electronic design automation Cyber-physical system Embedded system Verification Software verification Software Logic simulation Electronic engineering Software testing Logic design
359	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2015-03-26 11:14:31 Business Science Clinical research Quality Validation Software testing Verification and validation ORiN Windows Registry Technology Pharmaceutical industry Validity
360	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:07 Software Computer programming Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Windows Registry Computing Pharmaceutical industry Validity

UPDATE